Partially ordered set

Results: 111



#Item
31Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2014-08-27 06:04:04
32Poset models of topological spaces Dongsheng Zhao Abstract. We consider poset models of topological spaces and show that every T1 -space has an bounded complete algebraic poset model, thus give a positive answer to a que

Poset models of topological spaces Dongsheng Zhao Abstract. We consider poset models of topological spaces and show that every T1 -space has an bounded complete algebraic poset model, thus give a positive answer to a que

Add to Reading List

Source URL: math.nie.edu.sg

Language: English - Date: 2010-07-05 04:28:20
33Posets for Congurations! Arend Rensink University of Twente P.O.Box 217, 7500 AE Enschede, the Netherlands email: [removed]

Posets for Congurations! Arend Rensink University of Twente P.O.Box 217, 7500 AE Enschede, the Netherlands email: [removed]

Add to Reading List

Source URL: doc.utwente.nl

Language: English - Date: 2011-08-28 13:01:24
34QUEUE PROBLEMS REVISITED1 Richard P. Stanley A queue problem is a chess problem in which each solution has the same set of moves, but the order of the moves can vary. The object is to count the number of solutions. The c

QUEUE PROBLEMS REVISITED1 Richard P. Stanley A queue problem is a chess problem in which each solution has the same set of moves, but the order of the moves can vary. The object is to count the number of solutions. The c

Add to Reading List

Source URL: www-math.mit.edu

Language: English - Date: 2005-09-12 10:49:06
35doi:[removed]j.jet[removed]

doi:[removed]j.jet[removed]

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2007-03-08 08:43:57
361993 Paper 11 Question 11 Discrete Mathematics Let A be a non-empty set, and ≺ be a relation on A. What is meant by saying that (A, ≺) is a partially ordered set? [3 marks]

1993 Paper 11 Question 11 Discrete Mathematics Let A be a non-empty set, and ≺ be a relation on A. What is meant by saying that (A, ≺) is a partially ordered set? [3 marks]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:16:52
372001 Paper 1 Question 8 Discrete Mathematics Let (A, 6A ) and (B, 6B ) be partially ordered sets. (a) Define the product order on A×B and prove that it is a partial order. [4 marks]

2001 Paper 1 Question 8 Discrete Mathematics Let (A, 6A ) and (B, 6B ) be partially ordered sets. (a) Define the product order on A×B and prove that it is a partial order. [4 marks]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:17:39
381997 Paper 1 Question 7 Discrete Mathematics Let us say that a finite partial order (A, v) is tree-like if, for every a ∈ A, the set (of its predecessors) {x ∈ A | x v a ∧ x 6= a} either is empty or has a unique m

1997 Paper 1 Question 7 Discrete Mathematics Let us say that a finite partial order (A, v) is tree-like if, for every a ∈ A, the set (of its predecessors) {x ∈ A | x v a ∧ x 6= a} either is empty or has a unique m

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:17:14
391996 Paper 1 Question 7 Discrete Mathematics State the requirements for (S, 6) to be a partially-ordered set. Define the notion of a topological sort of S. [10 marks]

1996 Paper 1 Question 7 Discrete Mathematics State the requirements for (S, 6) to be a partially-ordered set. Define the notion of a topological sort of S. [10 marks]

Add to Reading List

Source URL: www.cl.cam.ac.uk

- Date: 2014-06-09 10:17:08
    40On Bayesian Networks and Partial Orders Pekka Parviainen University of Helsinki [removed]

    On Bayesian Networks and Partial Orders Pekka Parviainen University of Helsinki [removed]

    Add to Reading List

    Source URL: www.select.cs.cmu.edu

    Language: English - Date: 2009-11-10 02:20:14